package at.tasat.solver.queue;

import at.tasat.solver.Queue;
import at.tasat.solver.QueueFactory;
import at.tasat.solver.VariableOccurencesList;

public class InvertingQueueFactory extends QueueFactory {
	@Override
	public String getName() {
		return "inverting";
	}

	@Override
	public Queue create(int numVariables, VariableOccurencesList _) {
		return new InvertingQueue(numVariables);
	}

}
